Some sets of first category
نویسندگان
چکیده
منابع مشابه
A radical extension of the category of $S$-sets
Let S-Set be the category of $S$-sets, sets together with the actions of a semigroup $S$ on them. And, let S-Pos be the category of $S$-posets, posets together with the actions compatible with the orders on them. In this paper we show that the category S-Pos is a radical extension of S-Set; that is there is a radical on the category S-Pos, the order desolator radical, whose torsion-free class i...
متن کاملThe symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملA category of cubical sets
The base category C is the full subcategory of the category of posets having for objects finite power of the poset 0 6 1. We write [1] the poset 0 6 1. We write I, J,K, . . . the object of C and 1I : I → I the identity map of I. If f : J → I and g : K → J we write fg : K → I their composition. If I is an object of C, we have two constant maps c0 : I → [1] and c1 : I → [1]. We write π1 : I × [1]...
متن کاملFirst Order Theories of Some Lattices of Open Sets
We show that the first order theory of the lattice of open sets in some natural topological spaces is m-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first order theory of the lattice of effectively open sets is undecidable. Moreover, for several important spaces (e.g., Rn, n ≥ 1, and the domain Pω) this theory is m...
متن کاملThe category of opetopes and the category of opetopic sets
We give an explicit construction of the category opetope of opetopes. We prove that the category of opetopic sets is equivalent to the category of presheaves over opetope
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 1994
ISSN: 0166-8641
DOI: 10.1016/0166-8641(94)90012-4